package dbc;

/**
* Invariant contract violation
*/
public class InvariantException extends ContractException {
	
    public InvariantException() {
        super();
    }
	
    public InvariantException(String msg) {
        super(msg);
    }
}